[PIP2-like future input] Please enter:
- the context matrix,
4 5
 1 1 0 0 -2
 1 -1 0 0 5
 1 0 1 0 -2
 1 0 -1 0 10
- the bignum column (start at 0, -1 if no bignum),
3
- the constraint matrix.
39 23
 0 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0
 0 0 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 -1 0
 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0
 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 0 1 1
 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 1 1
 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 -2
 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 1 0
 1 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 1 0 -2
 1 0 0 0 0 0 0 0 0 -2 0 0 0 0 2 0 0 0 0 0 1 0 -2
 1 0 0 0 0 0 0 0 0 1 0 -2 0 0 0 0 0 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 -2 0 0 0 0 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 -2 0 0 0 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 -2 0 0 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -2 0 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -2 0 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -2 0 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2 0 0 1 1
 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 -1
 1 0 0 0 0 0 0 0 0 -1 0 2 0 0 0 0 0 0 0 0 0 -1 -1
 1 0 0 0 0 0 0 0 0 -1 0 0 2 0 0 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 2 0 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 2 0 0 0 0 0 0 -1 -1
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 2 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 2 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 2 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 2 0 0 -1 0
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 1 -1
 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 2
 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -2
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 5
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -2
 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 10

(if #[ 0 -1 0 3]
 (newparm 3 (div #[ 0 1 0 0] 2))
 (list
  #[ 0 0 1 0 1]
  #[ 0 0 1 0 0]
  #[ 0 0 1 -2 1]
  #[ 0 0 1 0 1]
  #[ 0 0 1 2 -1]
  #[ 0 0 1 2 -1]
  #[ 0 0 0 0 0]
  #[ 0 0 1 0 2]
  #[ 0 0 1 2 -1]
  #[ 0 0 0 0 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
  #[ 0 0 1 1 0]
 )
 (list
  #[ 0 0 1 1]
  #[ 0 0 1 0]
  #[ 0 0 1 -1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 0 0]
  #[ 0 0 1 2]
  #[ 0 0 1 1]
  #[ 0 0 0 0]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
  #[ 0 0 1 1]
 )
)
